On the Complexity of the Horn Theory of REL
نویسنده
چکیده
We show that the universal Horn theory of relational Kleene algebras is Π 1complete.
منابع مشابه
Chaos/Complexity Theory and Education
Sciences exist to demonstrate the fundamental order underlying nature. Chaos/complexity theory is a novel and amazing field of scientific inquiry. Notions of our everyday experiences are somehow in connection to the laws of nature through chaos/complexity theory’s concerns with the relationships between simplicity and complexity, between orderliness and randomness (Retrieved from http://www.inc...
متن کاملUsing Complexity to Simplify Knowledge Translation; Comment on “Using Complexity and Network Concepts to Inform Healthcare Knowledge Translation”
Putting health theories, research and knowledge into practice is a challenge referred to as the knowledge-toaction gap. Knowledge translation (KT), and its related concepts of knowledge mobilization, implementation science and research impact, emerged to mitigate this gap. While the social interaction view of KT has gained currency, scholars have not easily made a link between KT and the concep...
متن کاملTranslator Education in the Light of Complexity Theory: A Case of Iran’s Higher Education System
In the fast-growing world of translation studies, many students may not receive adequate training at universities. A new multi-facetted approach is therefore needed to be applied in translator educational programs to meet the students’ needs and professional expectations. In order to describe the complex interrelations in translator education systems and propose a research framework that takes ...
متن کاملBridging the ‘Two Cultures’ of Research and Service: Can Complexity Theory Help?; Comment on “Experience of Health Leadership in Partnering With University-Based Researchers in Canada – A Call to ‘Re-imagine’ Research”
This commentary addresses Bowen et al’s empirical study of perspectives of Canadian healthcare staff towards research and their call for multi-faceted action to improve misalignments in the system. This commentary argues that tensions and misalignments between research and service are inherent and can never be eradicated. Building on previous work by Lanham et al, I pro...
متن کاملInvestigation of the Effect of Lactobacillus Brevis Bacteria on the Expression of Rel A, IKB, and Casp3 Genes in HT29 Colon Cancer Cells
Aims Studies have shown that probiotic bacteria inhibit the onset and progression of carcinogenesis through different pathways. Our objective in this study was to determine the effect of probiotic bacteria on the expression of growth-related genes Rel A, IKB, and Casp3 in HT29 colon cancer cells Methods & Materials In this study, the Lactobacillus brevis probiotic bacteria were first cultured,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003